Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll
| A basis for theoretical computer science / Michael A. Arbib, A. J. Kfoury, Robert N. Moll |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, 1981 |
| Descrizione fisica | VIII, 220 p. ; 25 cm |
| Altri autori (Persone) |
Moll, Robert N.
Kfoury, A. J. |
| Collana | Texts and monographs in computer science |
| Soggetto non controllato | Computer science - Manuali |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124570403321 |
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A basis for theoretical computer science / by Michael A. Arbib, A.J. Kfoury, Robert N. Moll
| A basis for theoretical computer science / by Michael A. Arbib, A.J. Kfoury, Robert N. Moll |
| Autore | ARBIB, Michael A. |
| Pubbl/distr/stampa | New York : Springer Verlag, c1981 |
| Descrizione fisica | VIII, 220 p. : ill. ; 23 cm |
| Disciplina | 001.64 |
| Altri autori (Persone) |
KFOURY, A.J.
MOLL, Robert N. |
| Collana | Texts and monographs in computer science, The AKM series in theoretical computer science |
| Soggetto topico | Elaborazione elettronica dei dati |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000353890203316 |
|
ARBIB, Michael A.
|
||
| New York : Springer Verlag, c1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
| A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
| Autore | Kfoury, Assaf J. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] |
| Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268469 |
|
Kfoury, Assaf J.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic theory of machines, languages, and semi-groups / edited by Michael A. Arbib ; with a major contribution by Kenneth Krohn and John L. Rhodes
| Algebraic theory of machines, languages, and semi-groups / edited by Michael A. Arbib ; with a major contribution by Kenneth Krohn and John L. Rhodes |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York : Academic Press, 1968 |
| Descrizione fisica | xvi, 359 p. ; 24 cm. |
| Disciplina | 512.2 |
| Altri autori (Persone) |
Krohn, Kenneth
Rhodes, John L. |
| Soggetto topico |
Group theory
Machine theory Mathematical linguistics |
| Classificazione | AMS 20M35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000662719707536 |
|
Arbib, Michael A.
|
||
| New York : Academic Press, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib ; with a Major Contribution by Kenneth Krohn and John L. Rhodes
| Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib ; with a Major Contribution by Kenneth Krohn and John L. Rhodes |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York ; London : Academic Press, 1968 |
| Descrizione fisica | xvi, 359 p. ; 24 cm |
| Disciplina |
510.78
512.2 |
| Soggetto non controllato |
Cibernetica
Semigruppi Teoria dei giochi Teoria degli automi Intelligenza artificiale |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000954140403321 |
|
Arbib, Michael A. <1940- >
|
||
| New York ; London : Academic Press, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib
| Algebraic theory of machines, languages, and semigroups / edited by Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York : Academic Press, Inc., 1968 |
| Descrizione fisica | 359 p. ; 23 cm. |
| Classificazione | 621.3.8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000804829707536 |
|
Arbib, Michael A.
|
||
| New York : Academic Press, Inc., 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Arrows, structures, and functors : the categorical imperative / by Arbib and Manes
| Arrows, structures, and functors : the categorical imperative / by Arbib and Manes |
| Autore | Arbib, Michael A. <1940- > |
| Pubbl/distr/stampa | New York [etc.] : Academic Press, 1975 |
| Disciplina | 512.55 |
| Altri autori (Persone) | Manes, Ernest G. |
| Collana | Academic press rapid manuscript reproduction |
| Soggetto non controllato | Teoria della categoria |
| ISBN | 0-12-059060-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001124600403321 |
|
Arbib, Michael A. <1940- >
|
||
| New York [etc.] : Academic Press, 1975 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 |
| Descrizione fisica | 151 p. : ill. ; 20 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000244950203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Pubbl/distr/stampa | New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 |
| Descrizione fisica | 151 p. : ill. ; 20 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000140950203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : McGraw-Hill BookCompany, copyr. 1964 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Brains, machines and mathematics / Michael A. Arbib
| Brains, machines and mathematics / Michael A. Arbib |
| Autore | Arbib, Michael A. |
| Edizione | [2nd ed] |
| Pubbl/distr/stampa | New York [etc.] : Springer-Verlag, copyr. 1987 |
| Descrizione fisica | X, 201 p. : 63 ill. ; 24 cm |
| Disciplina | 0035 |
| Soggetto non controllato |
cibernetica
teoria delle macchine |
| ISBN | 0-387-96539-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000140940203316 |
|
Arbib, Michael A.
|
||
| New York [etc.] : Springer-Verlag, copyr. 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
